Project agda
Known since 2026-08-20, see on repology.
2.8.0.2
- Date
- 2026-10-09
- Fetched
- 2026-10-10
- Package
- hs-Agda (math/hs-Agda)
- Size
- 501146
- Lines
- 3258
- Date
- 2026-10-05
- Fetched
- 2026-10-10
- Package
- hs-Agda (math/hs-Agda)
- Size
- 499030
- Lines
- 3258
- Date
- 2026-09-18
- Fetched
- 2026-10-02
- Package
- hs-Agda (math/hs-Agda)
- Size
- 502416
- Lines
- 3272
- Date
- 2026-09-17
- Fetched
- 2026-10-02
- Package
- hs-Agda (math/hs-Agda)
- Size
- 500300
- Lines
- 3272
2.8.0
- Fetched
- 2026-08-21
- Package
- haskellPackages.Agda
- Size
- 677641
- Lines
- 8975
- Fetched
- 2026-08-21
- Package
- haskellPackages.Agda
- Size
- 668006
- Lines
- 8872
- Fetched
- 2026-08-21
- Package
- haskellPackages.Agda
- Size
- 668008
- Lines
- 8871
- Date
- 2026-07-15
- Fetched
- 2026-08-20
- Package
- Agda
- Size
- 1189316
- Lines
- 24370
- Date
- 2026-07-15
- Fetched
- 2026-08-20
- Package
- Agda
- Size
- 1190771
- Lines
- 24370
- Date
- 2026-07-15
- Fetched
- 2026-08-20
- Package
- Agda
- Size
- 1240836
- Lines
- 25142
- Date
- 2026-07-15
- Fetched
- 2026-08-20
- Package
- Agda
- Size
- 1242509
- Lines
- 25142